\chapter{A Core Calculus for Higher-Order Concurrency}
\label{chap:core}
\minitoc



\input{lics-lang}
\section{Expressiveness of \hocore}\label{ss:core-expres}
\input{lics-minsky}
\section{Concluding Remarks}\label{ss:core-discus}
\input{corec-concl}